1. True $\Rightarrow$ False \\[0ex]$\vdash$ False